When checking a long sequence of expectations, you can capture the results or arguments of one method call and compare it to the value passed into another method call. 在检查一系列预期时,可以捕捉一个方法调用的结果或参数,然后与传递给另一个方法调用的值进行比较。
So far, I've considered two approaches to spell checking: phonetic matching and sequence comparison. 迄今为止,我已经介绍了两种拼写检查方法:语音匹配和顺序比较。
Checking to see whether a given sequence would look like a given pattern 查看给定的序列是否看起来像给定的模式
There were so many steps: checking that the seller had clear title to the property, The manufacture of most products requires a sequence of different manufacturing processes. 有这么多步骤:验证卖方是否真正拥有产权,大多数工业产品需要一系列不同的步骤来完成。
After discussing the state tables of sequential machine, this paper defines dividing sequence and advances a method to construct checking experiments for a sequential machine that has no distinguishing sequence. 作者从时序机的状态表出发,定义了划分序列,并针对无区分序列的时序机,提出了利用划分序列构造时序机核实序列的一种方法。
Safety checking regularly, strengthening security instruction as well as sequence measures. 加强安全教育等一系列措施。
PVS-based consistency checking for UML class diagrams and sequence diagrams 基于PVS的UML类图和序列图的一致性检验
A method of constructing checking experiments for sequential machine through dividing sequence 用划分序列构造时序机核实序列的方法
Through checking up in MS Edman, the sequence was similar to "Ca binding protein, MRP8" which is the light subunit of Calprotectin. 经MSEdman检索,与该序列相匹配的蛋白是钙结合蛋白MRP8,它是钙结合蛋白(Calprotectin)的轻亚基。
The virus was confirmed as adenovirus type III using the method of checking and measuring the virus whole genes sequence. 用全基因测序的方法进行病毒检测,确定为腺病毒3型。
By checking, it tests randomness of sequence better then other methods. 通过实验,发现该方法能更全面检验序列的随机特性。
RTP defines simple encapsulation of streaming media data, without error checking and loss packet retransmission. So it has high transmission efficiency, low delay, and it offers sequence number and timestamp for receiver to reconstruct and synchronize the data. RTP对流媒体数据进行简单的封装,不进行错误检测和丢包重传,因此传输效率高、延时小,而且它提供了序列号和时间戳以便接收端进行数据重组和同步。
Then it uses model checking techniques to identify whether any state of FSA is reachable in the PDA. That means to verify whether the wrong operation sequence of FSA exists in all possible operation sequences of PDA. 采用模型检验算法来验证FSA指示的状态在PDA中是否可达,即PDA表示的所有可能的操作序列中是否存在FSA所指出的错误操作序列。
Meanwhile, in the solution, the stateful MAC tree for checking file content integrity, the skip list for checking operation sequence are used. 此外,使用有状态的MAC树对文件内容做完整性检测,用跳跃列表对文件操作进行检测。
The checking tool used in design phase models the attack pattern into a sequence of system components that appears in an attack. 设计阶段的检测工具将攻击模式用在一次攻击中涉及到的系统部件的序列,即一个正则表达式来表示,并据此建立了攻击模式的模型。
We can identify the lost messages, reordering messages and duplicate messages by checking the sequence number of sending and receiving messages. 通过检测发送消息序号和接收消息序号来标识丢失消息、重复接收的报文和乱序报文。